xsm/flask: clean up auditing output
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Tue, 17 Apr 2012 07:31:07 +0000 (08:31 +0100)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Tue, 17 Apr 2012 07:31:07 +0000 (08:31 +0100)
commit8eee0a1a5f73085467e4a5e8ada94a3d9599cb4d
treebd5128b83a8d59ff07e855fa57a1bd9869bb933f
parentf5f061b681ba29850ca7b1905ae584d66da97ddf
xsm/flask: clean up auditing output

The audit data for normal MMU updates was incorrectly using the RANGE
type which presented the data badly in audit messages; add a MEMORY
type for this showing the correct names for the fields. This patch
also shows the target domain in event channel mapping checks to make
debugging those denials easier.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
xen/xsm/flask/avc.c
xen/xsm/flask/hooks.c
xen/xsm/flask/include/avc.h